Formal systems - PDFSEARCH.IO - Document Search Engine

Formal systems
Results: 1365

#	Item
151	System Description: leanK 2.0 Bernhard Beckert1 Rajeev Gor´e2,⋆ 1 University of Karlsruhe, Institute for Logic, Complexity and Deduction Systems, DKarlsruhe, Germany. E-mail: Add to Reading List Source URL: formal.iti.kit.edu Language: English - Date: 2014-04-20 12:39:15
152	Toilet_Thermo_Governors_141015a Add to Reading List Source URL: www.dubberly.com Language: English - Date: 2016-02-03 18:30:47 Cybernetics Academia Systems science Cognitive science Risk Systems theory Formal sciences Systems thinking Second-order cybernetics System Autopoiesis Control theory
153	Trustworthy Medical Device Software Kevin Fu Assistant Professor University of Massachusetts Amherst Department of Computer Science Add to Reading List Source URL: spqr.eecs.umich.edu Language: English - Date: 2011-08-16 12:32:05 Technology Computing Software engineering Formal methods Medical technology Software development process Medical equipment Systems engineering Medical device Life-critical system IEC 62304 Computer security
154	Modular Interpreted Systems Wojciech Jamroga Thomas Ågotnes Department of Informatics Add to Reading List Source URL: folk.uib.no Language: English - Date: 2007-06-04 16:55:34 Mathematics Measurement Academia Artificial intelligence Formal epistemology Modal logic Algebraic geometry Q0 Symbol Epistemic modal logic Centimetregramsecond system of units Valuation
155	Planning for Change in a Formal Verification of the Raft Consensus Protocol Doug Woos Zachary Tatlock James R. Wilcox Add to Reading List Source URL: verdi.uwplse.org Language: English - Date: 2016-03-16 22:46:45 Fault-tolerant computer systems Computing Mathematics Distributed algorithms Mathematical induction Raft Formal verification Consensus Leader election Mathematical proof Paxos Cognitive science
156	Commoditizing Verification Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2013-10-15 23:23:06 Formal methods Logic in computer science Systems engineering Theoretical computer science Formal verification ESC/Java Verification Satisfiability modulo theories
157	DevOps Meets Formal Modelling in High-Criticality Complex Systems Marta Olszewska, Marina Waldén 1st International Workshop on Quality-Aware DevOps (QUDOS1st September 2015, Bergamo, Italy Add to Reading List Source URL: download.fortiss.org Language: English - Date: 2015-09-03 03:39:23
158	Formal Analysis of Electronic Voting Systems Mark Ryan University of Birmingham joint work with Ben Smyth Steve Kremer Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2010-04-20 09:42:28
159	A Vision of Collaborative Verification-Driven Engineering of Hybrid Systems Stefan Mitsch 1 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2013-04-05 06:08:36 Software Theoretical computer science Systems engineering Unified Modeling Language Formal methods Logic in computer science KeY Hybrid system Formal verification First-order logic Proof theory Model checking
160	Automating Formal Proofs for Reactive Systems Daniel Ricketts? Valentin Robert? Dongseok Jang? Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2016-02-08 10:43:36

UPDATE